This site, maintained by David Leake at Indiana University, describes the SWALE project's case-based reasoning approach to generating creative explanations. A simplified version of the SWALE code is available.
Compiler architecture dynamically optimizes stand-alone programs via staged compiling. Uses run-time values and invariants to improve code as it executes, yielding performance superior to statically optimal code.
R. Kent Dybvig's PhD dissertation (1987) which presents three implementation models for Scheme, a stack-based model, a string-based model, and a heap-based model.